Data Structure

Retargetable Code Generation Based on Structural Processor Descriptions

Computer Hardware / Data Structure / Hardware Design / Code Generation / Behavior Modeling / Embedded processor / Design Automation / Embedded System / Structural model / Software Synthesis / Embedded processor / Design Automation / Embedded System / Structural model / Software Synthesis

ArrayExpress: a public database of gene expression data at EBI

Ontology / Computational Biology / Gene expression / Annotation / Biological Sciences / Data Structure / Microarray / Database / Expression analysis / Web Interface / Gene Expression Data / Data Retrieval / Data Structure / Microarray / Database / Expression analysis / Web Interface / Gene Expression Data / Data Retrieval

The Laplacian Pyramid as a Compact Image Code

Data Compression / Image Analysis / Entropy / Data Structure / Image coding / Image compression / Frequency / Spatial Frequency / Data Structures / Shape / Low Pass Filters / Pixel / Fast Algorithm / Image Features / Image compression / Frequency / Spatial Frequency / Data Structures / Shape / Low Pass Filters / Pixel / Fast Algorithm / Image Features

Context logic as modal logic: completeness and parametric inexpressivity

Languages / Modal Logic / Artificial Intelligence / Logic / Theory / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language

Context logic as modal logic: completeness and parametric inexpressivity

Languages / Modal Logic / Artificial Intelligence / Logic / Theory / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language / Data Structure / Structured data / Verification / Separation Logic / Expressivity / Boolean Logic / Programming language

YapOr: an Or-Parallel Prolog System Based on Environment Copying

Parallel Processing / Data Structure / Parallel Systems

El cuerpo según Marx

Applied Mathematics / Information Theory / Pure Mathematics / Data Structure / Data storage / Data Structures / Experimental / Text Indexing / Indexation / Point of View / Experimental Algorithmics / Data Structures / Experimental / Text Indexing / Indexation / Point of View / Experimental Algorithmics

YapOr: an Or-Parallel Prolog System Based on Environment Copying

Parallel Processing / Data Structure / Parallel Systems

Yapor: an or-parallel prolog system based on environment copying

Parallel Processing / Data Structure / Parallel Systems

Parallel query processing on distributed clustering indexes

Applied Mathematics / Data Structure / Parallel and Distributed Computing / Similarity Search / Fuzzy Metric Space / High performance / Web Search Engine / Indexation / Discrete Algorithms / High performance / Web Search Engine / Indexation / Discrete Algorithms

O (log log n )-competitive dynamic binary search trees

Dynamic Optimization / Data Structure / Competitive Analysis / Binary Search Tree / Lower Bound / Linear Time

Stitching giga pixel images using parallel computing (Proceedings Paper)

Algorithms / Parallel Computing / Image Processing / Computer Hardware / Parallel Processing / Georeferencing / Data Structure / Shared memory / Data storage / Data Structures / Color Image / Multiple comparisons / Coverage / Spatial resolution / Parallel Computer / Pixel / Hardware architecture / Georeferencing / Data Structure / Shared memory / Data storage / Data Structures / Color Image / Multiple comparisons / Coverage / Spatial resolution / Parallel Computer / Pixel / Hardware architecture

A comprehensive datamodel for karyological databases

Evolutionary Biology / Plant Biology / Information Access / Data Structure / Computer Network / Plant Systematics and Evolution / Analytical Method / Data Model / Scientific Data / Information System / Plant Systematics and Evolution / Analytical Method / Data Model / Scientific Data / Information System

Representing Vertex-Based Simplicial Multi-complexes

Image Processing / Data Structure / Geometric model / Multiresolution Analysis / Digital Image / Compression Ratio

Text sparsification via local maxima

Computational Complexity / Theoretical Computer Science / Decision Theory / Algorithm / Space / DNA / Data Structure / Process / Identification / Properties / Text / Mathematical Sciences / Technique / Number / Average / Word / Pattern Matching / Indexing / Symbol / Filter / Order / Reduction / Index / Sequence / Iteration / Alphabet / Length / Procedure / Text Indexing / Division / Indexation / NP-completeness / DNA sequence / DNA / Data Structure / Process / Identification / Properties / Text / Mathematical Sciences / Technique / Number / Average / Word / Pattern Matching / Indexing / Symbol / Filter / Order / Reduction / Index / Sequence / Iteration / Alphabet / Length / Procedure / Text Indexing / Division / Indexation / NP-completeness / DNA sequence

Using PI/OT to support complex parallel I/O

Data Structure / Source Code

1
2
3
4
»

Copyright © 2017 DATOSPDF Inc.